Energy Implications of Photonic Networks With Speculative Transmission

Speculative transmission has been proposed to overcome the high latency of setting up end-to-end paths through photonic networks for computer systems. However, speculative transmission has implications for the energy efficiency of the network, in particular, control circuits are more complex and power hungry and failed speculative transmissions must be repeated. Moreover, in future chip multiprocessors (CMPs) with integrated photonic network end points, a large proportion of the additional energy will be dissipated on the CMP. This paper compares the energy characteristics of scheduled and speculative chip-to-chip networks for shared memory computer systems on the scale of a rack. For this comparison, we use a novel speculative control plane which reduces energy consumption by eliminating duplicate packets from the allocation process. In addition, we consider photonic power gating to reduce processor chip energy dissipation and the energy impact of the choice between semiconductor optical amplifier and ring resonator switching technologies. We model photonic network elements using values from the published literature as well as determine the power consumption of the allocator and network adapter circuits, implemented in a commercial low leakage 45 nm CMOS process. The power dissipated on the CMP using speculative networks is shown to be roughly double that of scheduled networks at saturation load and an order of magnitude higher at low loads

Rapid codesign of a soft vector processor and its compiler

Despite a decade of activity in the development of soft vector processors for FPGAs, high-level language support remains thin. We attribute this problem to a design method in which the high-level vector programming interface is only really considered once the processor architecture has been perfected, by which point the designer may be committed to the timeconsuming development of a complicated compiler. In this paper, we present the codesign of a soft vector processor and a lightweight compiler, which together lift the level of abstraction for the programmer while allowing a rapid compiler implementation phase.We demonstrate the effectiveness of our approach on a range of applications from digital signal processing, neuroscience, and machine learning.This work is sponsored by EPSRC grant EP/G015783/1.This is the accepted manuscript version. The final version is available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6927425&tag=1. © IEEE 201

Do topical repellents divert mosquitoes within a community? Health equity implications of topical repellents as a mosquito bite prevention tool.

OBJECTIVES: Repellents do not kill mosquitoes--they simply reduce human-vector contact. Thus it is possible that individuals who do not use repellents but dwell close to repellent users experience more bites than otherwise. The objective of this study was to measure if diversion occurs from households that use repellents to those that do not use repellents. METHODS: The study was performed in three Tanzanian villages using 15%-DEET and placebo lotions. All households were given LLINs. Three coverage scenarios were investigated: complete coverage (all households were given 15%-DEET), incomplete coverage (80% of households were given 15%-DEET and 20% placebo) and no coverage (all households were given placebo). A crossover study design was used and coverage scenarios were rotated weekly over a period of ten weeks. The placebo lotion was randomly allocated to households in the incomplete coverage scenario. The level of compliance was reported to be close to 100%. Mosquito densities were measured through aspiration of resting mosquitoes. Data were analysed using negative binomial regression models. FINDINGS: Repellent-users had consistently fewer mosquitoes in their dwellings. In villages where everybody had been given 15%-DEET, resting mosquito densities were fewer than half that of households in the no coverage scenario (Incidence Rate Ratio [IRR]=0.39 (95% confidence interval [CI]: 0.25-0.60); p<0.001). Placebo-users living in a village where 80% of the households used 15%-DEET were likely to have over four-times more mosquitoes (IRR=4.17; 95% CI: 3.08-5.65; p<0.001) resting in their dwellings in comparison to households in a village where nobody uses repellent. CONCLUSIONS: There is evidence that high coverage of repellent use could significantly reduce man-vector contact but with incomplete coverage evidence suggests that mosquitoes are diverted from households that use repellent to those that do not. Therefore, if repellents are to be considered for vector control, strategies to maximise coverage are required

Balancing Disruption and Deployability in the CHERI Instruction-Set Architecture (ISA)

For over two-and-a-half decades, dating to the first widespread commercial deployment of the Internet, commodity processor architectures have failed to provide robust and secure foundations for communication and commerce. This is in large part due to the omission of architectural features allowing efficient implementation of the Principle of Least Privilege, which dictates that software runs only with the rights it requires to operate [19, 20]. Without this support, the impact of inevitable vulnerabilities is multiplied as successful attackers gain easy access to unnecessary rights – and often, all rights – in software systems

A consistency checker for memory subsystem traces

Verifying the memory subsystem in a modern shared-memory multiprocessor is a big challenge. Optimized implementations are highly sophisticated, yet must provide subtle consistency and liveness guarantees for the correct execution of concurrent programs. We present a tool that supports efficient specification-based testing of the memory subsystem against a range of formally specified consistency models. Our tool operates directly on the memory subsystem interface, promoting a compositional approach to system-on-chip verification, and can be used to search for simple failure cases – assisting rapid debug. It has recently been incorporated into the development flows of two open-source implementations – Berkeley’s Rocket Chip (RISCV) and Cambridge’s BERI (MIPS) – where it has uncovered a number of serious bugs.This work was supported by DARPA/AFRL contracts FA8750-10-C-0237 (CTSRD) and FA8750-11-C-0249 (MRC2), and EPSRC grant EP/K008528/1 (REMS).This is the author accepted manuscript

Programming Model to Develop Supercomputer Combinatorial Solvers

© 2017 IEEE. Novel architectures for massively parallel machines offer better scalability and the prospect of achieving linear speedup for sizable problems in many domains. The development of suitable programming models and accompanying software tools for these architectures remains one of the biggest challenges towards exploiting their full potential. We present a multi-layer software abstraction model to develop combinatorial solvers on massively-parallel machines with regular topologies. The model enables different challenges in the design and optimization of combinatorial solvers to be tackled independently (separation of concerns) while permitting problem-specific tuning and cross-layer optimization. In specific, the model decouples the issues of inter-node communication, n ode-level scheduling, problem mapping, mesh-level load balancing and expressing problem logic. We present an implementation of the model and use it to profile a Boolean satisfiability solver on simulated massively-parallel machines with different scales and topologies

Role of Candida albicans Tem1 in mitotic exit and cytokinesis

Journal ArticleResearch Support, Non-U.S. Gov'tCopyright © 2014 Elsevier Inc. All rights reserved.Candida albicans demonstrates three main growth morphologies: yeast, pseudohyphal and true hyphal forms. Cell separation is distinct in these morphological forms and the process of separation is closely linked to the completion of mitosis and cytokinesis. In Saccharomyces cerevisiae the small GTPase Tem1 is known to initiate the mitotic exit network, a signalling pathway involved in signalling the end of mitosis and initiating cytokinesis and cell separation. Here we have characterised the role of Tem1 in C. albicans, and demonstrate that it is essential for mitotic exit and cytokinesis, and that this essential function is signalled through the kinase Cdc15. Cells depleted of Tem1 displayed highly polarised growth but ultimately failed to both complete cytokinesis and re-enter the cell cycle following nuclear division. Consistent with its role in activating the mitotic exit network Tem1 localises to spindle pole bodies in a cell cycle-dependent manner. Ultimately, the mitotic exit network in C. albicans appears to co-ordinate the sequential processes of mitotic exit, cytokinesis and cell separation.BBSR